CONFIG_IA64 := y
CONFIG_IA64_$(XEN_OS) := y

CONFIG_IOEMU := y
CONFIG_XCUTILS := y
CONFIG_XENCOMM := y
